Definition

Zero-knowledge proofs are interactive proofs with a PPT prover and verifier (P,V)(P,V).


References

  1. https://www.khoury.northeastern.edu/home/wichs/class/crypto-fall17/lecture19.pdf
  2. S. Goldwasser, S. Micali, and C. Rackoff, “The Knowledge Complexity of Interactive Proof Systems,” SIAM J. Comput., vol. 18, no. 1, pp. 186–208, Feb. 1989, doi: 10.1137/0218012.